Frank Willems: cercare sul sito Z-Library

Accesso libero alla conoscenza e alla cultura.

Don't use scam websites

Libri (26)
Più popolari
Lista
- Lista
- Tabella

1

Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions

Control Strategies for Advanced Driver Assistance Systems and Autonomous Driving Functions

Springer International Publishing

Harald Waschl, Ilya Kolmanovsky, Frank Willems

Anno:

2019

Lingua:

english

File:

PDF, 12.11 MB

0 / 0

english, 2019

2

Business English: and a little bit of grammar

Business English: and a little bit of grammar

tredition Verlag

Willem van Leeuwen, Sven Frank

Anno:

2023

Lingua:

english

File:

EPUB, 8.46 MB

0 / 0

english, 2023

3

City in Sight: Dutch Dealings with Urban Change (Amsterdam University Press - NICIS)

City in Sight: Dutch Dealings with Urban Change (Amsterdam University Press - NICIS)

Amsterdam University Press

Jan Willem Duyvendak, Frank Hendriks, Mies van Niekerk

Anno:

2010

Lingua:

english

File:

PDF, 3.72 MB

0 / 0

english, 2010

4

Nieuw Nederlands 5e editie - 4&5 havo - Antwoorden

Nieuw Nederlands 5e editie - 4&5 havo - Antwoorden

Noordhoff Uitgevers

Willem Steenbergen, Hans Frank, Jan Erik Grezel, Margreet Kooiman, Hinke Zetstra

Lingua:

dutch

File:

PDF, 2.11 MB

0 / 0

dutch

5

A Landmark in Turbulent Times The Meaning and Relevance of the Synod of Dordt (1618-1619)

A Landmark in Turbulent Times The Meaning and Relevance of the Synod of Dordt (1618-1619)

Vandenhoeck & Ruprecht

Henk van den Belt, Klaas-Willem de Jong, Willem van Vlastuin, Christopher B. Brown, Günter Frank, Barbara Mahlmann-Bauer, Tarald Rasmussen, Violet Soen, Zsombor Tóth, Günther Wassilowsky, Siegrid Westphal

Anno:

2022

Lingua:

english

File:

PDF, 3.02 MB

0 / 4.5

english, 2022

6

Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Concurrency Verification: Introduction to Compositional and Non-compositional Methods

Cambridge University Press

Willem-Paul de Roever, Frank de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel, Job Zwiers

Anno:

2001

Lingua:

english

File:

DJVU, 6.87 MB

0 / 0

english, 2001

7

Secure Data Management: 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007. Proceedings

Secure Data Management: 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Amir H. Chinaei, Hamid R. Chinaei, Frank Wm. Tompa (auth.), Willem Jonker, Milan Petković (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 2.69 MB

0 / 0

english, 2007

8

Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

Formal Methods for Components and Objects: 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures

Springer-Verlag Berlin Heidelberg

Lars Frantzen, Jan Tretmans (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 3.18 MB

0 / 0

english, 2007

9

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Springer-Verlag Berlin Heidelberg

Albert Benveniste, Benoît Caillaud (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Anno:

2004

Lingua:

english

File:

PDF, 7.29 MB

0 / 0

english, 2004

10

Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems: 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedings

Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems: 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Pieter Agten, Nick Nikiforakis, Raoul Strackx, Willem De Groef, Frank Piessens (auth.), Ioannis Askoxylakis, Henrich C. Pöhls, Joachim Posegga (eds.)

Anno:

2012

Lingua:

english

File:

PDF, 3.58 MB

0 / 5.0

english, 2012

11

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Anno:

2008

Lingua:

english

File:

PDF, 6.30 MB

0 / 0

english, 2008

12

Secure Data Management: 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007. Proceedings

Secure Data Management: 4th VLDB Workshop, SDM 2007, Vienna, Austria, September 23-24, 2007. Proceedings

Springer-Verlag Berlin Heidelberg

Amir H. Chinaei, Hamid R. Chinaei, Frank Wm. Tompa (auth.), Willem Jonker, Milan Petković (eds.)

Anno:

2007

Lingua:

english

File:

PDF, 3.87 MB

0 / 0

english, 2007

13

City in Sight: Dutch Dealings with Urban Change

City in Sight: Dutch Dealings with Urban Change

Amsterdam University Press

Jan Willem Duyvendak (editor), Frank Hendriks (editor), Mies van Niekerk (editor)

Anno:

2009

Lingua:

english

File:

PDF, 4.09 MB

0 / 0

english, 2009

14

City in Sight

City in Sight

Duyvendak, Jan Willem., Hendriks, Frank, Niekerk, Mies van.

Anno:

2009

Lingua:

english

File:

PDF, 3.09 MB

0 / 0

english, 2009

15

Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems: 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedings

Information Security Theory and Practice. Security, Privacy and Trust in Computing Systems and Ambient Intelligent Ecosystems: 6th IFIP WG 11.2 International Workshop, WISTP 2012, Egham, UK, June 20-22, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Pieter Agten, Nick Nikiforakis, Raoul Strackx, Willem De Groef, Frank Piessens (auth.), Ioannis Askoxylakis, Henrich C. Pöhls, Joachim Posegga (eds.)

Anno:

2012

Lingua:

english

File:

PDF, 3.30 MB

0 / 0

english, 2012

16

Agents for Games and Simulations: Trends in Techniques, Concepts and Design

Agents for Games and Simulations: Trends in Techniques, Concepts and Design

Springer-Verlag Berlin Heidelberg

Jakub Gemrot, Rudolf Kadlec, Michal Bída (auth.), Frank Dignum, Jeff Bradshaw, Barry Silverman, Willem van Doesburg (eds.)

Anno:

2009

Lingua:

english

File:

PDF, 5.44 MB

0 / 0

english, 2009

17

Agents for Games and Simulations: Trends in Techniques, Concepts and Design

Agents for Games and Simulations: Trends in Techniques, Concepts and Design

Springer-Verlag Berlin Heidelberg

Jakub Gemrot, Rudolf Kadlec, Michal Bída (auth.), Frank Dignum, Jeff Bradshaw, Barry Silverman, Willem van Doesburg (eds.)

Anno:

2009

Lingua:

english

File:

PDF, 5.32 MB

0 / 0

english, 2009

18

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Anno:

2008

Lingua:

english

File:

PDF, 7.96 MB

0 / 0

english, 2008

19

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures ... / Programming and Software Engineering)

Formal Methods for Components and Objects: Third International Symposium, FMCO 2004, Leiden, The Netherlands, November 2-5, 2004, Revised Lectures ... / Programming and Software Engineering)

Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever

Anno:

2005

Lingua:

english

File:

PDF, 3.81 MB

0 / 0

english, 2005

20

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Anno:

2006

Lingua:

english

File:

PDF, 3.85 MB

0 / 0

english, 2006

21

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Formal Methods for Components and Objects: 6th International Symposium, FMCO 2007, Amsterdam, The Netherlands, October 24-26, 2007, Revised Lectures

Springer-Verlag Berlin Heidelberg

Gilles Barthe, Pierre Crégut, Benjamin Grégoire, Thomas Jensen, David Pichardie (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Anno:

2008

Lingua:

english

File:

PDF, 4.93 MB

0 / 0

english, 2008

22

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Formal Methods for Components and Objects: First International Symposium, FMCO 2002, Leiden, The Netherlands, November 5-8, 2002, Revised Lectures

Springer-Verlag Berlin Heidelberg

Erika Ábrahám, Frank S. de Boer (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Anno:

2003

Lingua:

english

File:

PDF, 3.87 MB

0 / 0

english, 2003

23

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Formal Methods for Components and Objects: Second International Symposium, FMCO 2003, Leiden, The Netherlands, November 4-7, 2003. Revised Lectures

Springer-Verlag Berlin Heidelberg

Albert Benveniste, Benoît Caillaud (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Anno:

2004

Lingua:

english

File:

PDF, 9.52 MB

0 / 0

english, 2004

24

Agents for Games and Simulations: Trends in Techniques, Concepts and Design

Agents for Games and Simulations: Trends in Techniques, Concepts and Design

Springer-Verlag Berlin Heidelberg

Jakub Gemrot, Rudolf Kadlec, Michal Bída (auth.), Frank Dignum, Jeff Bradshaw, Barry Silverman, Willem van Doesburg (eds.)

Anno:

2009

Lingua:

english

File:

PDF, 7.35 MB

0 / 0

english, 2009

25

Trinucleotide Diseases and Instability

Trinucleotide Diseases and Instability

Springer-Verlag Berlin Heidelberg

R. Frank Kooy, Ben A. Oostra, Patrick J. Willems (auth.), Dr. Ben A. Oostra (eds.)

Anno:

1998

Lingua:

english

File:

PDF, 6.95 MB

0 / 0

english, 1998

26

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Formal Methods for Components and Objects: 4th International Symposium, FMCO 2005, Amsterdam, The Netherlands, November 1-4, 2005, Revised Lectures

Springer-Verlag Berlin Heidelberg

Kung-Kiu Lau, Mario Ornaghi, Zheng Wang (auth.), Frank S. de Boer, Marcello M. Bonsangue, Susanne Graf, Willem-Paul de Roever (eds.)

Anno:

2006

Lingua:

english

File:

PDF, 3.67 MB

0 / 0

english, 2006